💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
👑Coq Tactics
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·9h
⟷Bidirectional Programming
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·14h·
Discuss: www.blogger.com
🌳Persistent Data Structures
How the Lean language brings math to coding and coding to math
amazon.science·9h·
Discuss: Hacker News
🔬Lean
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·1d
🦀Rust Macros
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·20h
✅Archive Validation
Why Computer Science Is No Good, Redux
cacm.acm.org·10h
🎯Performance Proofs
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
DNS at IETF 123
potaroo.net·4h
🌐DNS Security
Introduction to Microservices
thenewstack.io·3h
🌊Streaming Systems
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·12h·
Discuss: Hacker News
🔒WASM Capabilities
A Gentle Introduction To Fortran
hackaday.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Concatenative Programming
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·7h
🔬Refinement Types
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Week 31 Status
blogs.gnome.org·1d
🎯Gradual Typing
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·1d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·14h·
Discuss: Hacker News
📼Tape Combinators
In Support Of Shitty Types
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing